Program refinement - PDFSEARCH.IO - Document Search Engine

Program refinement
Results: 38

#	Item
21	NHT Malleefowl Project - Year Two Milestone One Report • Review and refinement of monitoring program. • Preliminary draft manual for national monitoring system. • Volunteer Workshop Add to Reading List Source URL: www.malleefowlvictoria.org.au Language: English - Date: 2014-01-24 12:44:37 Geographic information system Backup Natural history of Australia Environment of Australia Ornithology Malleefowl Megapodiidae Database
22	On Refinement Calculus and Partial Correctness (DRAFT) R.D. Arthan 10 December[removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-12-10 08:21:15 Program logic Functions and mappings Function Hoare logic Refinement calculus S Monad Uniform space Mathematics Mathematical logic Formal methods
23	Refinement Method for Abstract State Machines Egon Börger Dipartimento di Informatica, Universita di Pisa Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2011-11-02 07:23:18 Program refinement Software engineering Computing Formal methods Abstract state machines Egon Börger
24	¨t Augsburg Universita KAB 0 H Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:24 Software engineering Abstract state machines Electronic commerce Communications protocol Mondex Smart card Program refinement E Purse Computing Formal methods Payment systems
25	¨t Augsburg Universita Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:46 Theoretical computer science Applied mathematics Computer programming Program refinement Abstract state machines Formal verification Formal specification Communications protocol ALGOL 68 Formal methods Computing Software engineering
26	UNIVERSITY OF CALIFORNIA SANTA CRUZ EXECUTABLE REFINEMENT TYPES A dissertation submitted in partial satisfaction of the requirements for the degree of DOCTOR OF PHILOSOPHY Add to Reading List Source URL: kennknowles.com Language: English - Date: 2014-02-23 11:12:22 Programming language theory Data types Object-oriented programming Program analysis Type system Subtype polymorphism Program refinement C Dependent type Type theory Software engineering Computing
27	ENHANCING IBC AND IACUC COLLABORATION: REFINEMENT OF A COMPREHENSIVE ANIMAL CARE AND USE PROTOCOL HAZARD REVIEW PROGRAM FOR LAB ANIMAL RESEARCH Randi Palmisano, RLATG, David Dicks, MHS and Ben Fontes, MPH, CBSP Yale Univ Add to Reading List Source URL: www.absa50.org Language: English - Date: 2007-10-30 03:29:56 Biology Safety Risk management Animal testing Institutional Animal Care and Use Committee Biosafety level Occupational safety and health Public Responsibility in Medicine and Research Protocol Risk Science Security
28	The Refinement of Topics for Systematic Reviews: Lessons and Recommendations From the Effective Health Care Program Add to Reading List Source URL: www.effectivehealthcare.ahrq.gov Language: English - Date: 2013-05-14 16:20:06 Systematic review Empiricism Comparative effectiveness research Evidence-based medicine Evaluation ECRI Institute Health Medicine Nursing research
29	Report of the Joint Task Force for Restructuring and Refinement Washington State University Extension and Washington State Association of Counties (WSAC) Add to Reading List Source URL: ext100.wsu.edu Language: English - Date: 2014-07-11 00:41:32 Agriculture in the United States Rural community development Cooperative extension service American Association of State Colleges and Universities Washington State University Extension Energy Program Washington State University Vancouver Association of Public and Land-Grant Universities Washington State University Washington
30	Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013 Add to Reading List Source URL: speakerd.s3.amazonaws.com Language: English - Date: 2014-10-12 01:13:31 Program analysis C++ Aliasing Compiler construction Type system Alias Thread Reference OCaml Computing Software engineering Programming language theory

UPDATE